A Parameterized Weighted Containment GUY AVNI and ORNA KUPFERMAN, Hebrew University Partially-specified systems and specifications are used in formal methods such as stepwise design and query checking. Existing methods c

Source URL: tocl.acm.org

Multiple Testing in Statistical Analysis of Systems-Based Information Retrieval Experiments BENJAMIN A. CARTERETTE University of Delaware High-quality reusable test collections and formal statistical hypothesis testing

Source URL: ir.cis.udel.edu

1 Towards Formal Specification Visualization for Testing and Monitoring of Cyber-Physical Systems Bardh Hoxha, Hoang Bach, Houssam Abbas, Adel Dokhanchi,

Source URL: fmgroup.polito.it

To appear in FORTE 2014: 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems Verifying Security Policies using Host Attributes Cornelius Diekmann1 , Stephan-A. Posselt1

Source URL: www.net.in.tum.de

SSDL: overview Goal: Improving the quality of systems and software Means:

Source URL: www.cs.technion.ac.il

• Model checking
• Formal verification
• Software engineering
• Programming language
• Software development process
• Science
• Computing
• Formal methods
• SOAP Service Description Language
• Applied mathematics

Flexible Enrichment with Cortana – Software Demo Keywords: subgroup discovery, enrichment, software Marvin Meeng LIACS, Leiden University, Niels Bohrweg 1, 2333 CA, Leiden, The Netherlands

Source URL: www.kiminkii.com

• Formal sciences
• DAVID
• Systems biology
• Gene Ontology
• Ensembl
• Data mining
• Gene expression profiling
• Science
• Bioinformatics
• Biological databases

SCiO Open Event (Manchester) Monday 8th Oct10am-4.30pm) Manchester Business School - Room 2.40 Booth Street West, Manchester M15 6PB . Session 1:

Source URL: sociocybernetics.unizar.es

• Systems science
• Cybernetics
• Formal sciences
• Control theory
• Systems
• Systems thinking
• Working group
• Facilitation
• Decision making
• Systems theory
• Science
• Knowledge

Microsoft Word - LNI_CardioVINEdb_abstract_v2.doc

Source URL: subs.emis.de

• Applied mathematics
• Business intelligence
• Formal sciences
• Mathematical and theoretical biology
• Integrative bioinformatics
• Data integration
• Data warehouse
• Database
• Bioinformatics workflow management systems
• Science
• Data management
• Bioinformatics

SSDL: overview Goal: Improving the quality of systems and software Means:

Source URL: www.cs.technion.ac.il

• Model checking
• Formal verification
• Software engineering
• Programming language
• Software development process
• Science
• Computing
• Formal methods
• SOAP Service Description Language
• Applied mathematics

Compiler I: Syntax Analysis Building a Modern Computer From First Principles www.nand2tetris.org Elements of Computing Systems, Nisan & Schocken, MIT Press, www.nand2tetris.org , Chapter 10: Compiler I: Syntax Analysis

Source URL: nand2tetris.org

• Compiler construction
• Parsing
• Procedural programming languages
• Compiler
• Syntax
• ALGOL 68
• Programming language
• Lexical analysis
• Formal language
• Software engineering
• Computing
• Programming language implementation